Overview: Update warping code to new gdk api

diff --git a/js/ui/overview.js b/js/ui/overview.js
index bfabcb3d228f77ce71b01836e619778a2408e059..1d6e6ab5072742f8650b1a7dac4bf18f02ce5882 100644 (file)
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -220,9 +220,9 @@ Overview.prototype = {
         let display = Gdk.Display.get_default();
         let deviceManager = display.get_device_manager();
         let pointer = deviceManager.get_client_pointer();
-        let [screen, pointerX, pointerY] = display.get_device_state(pointer);
+        let [screen, pointerX, pointerY] = pointer.get_position();
 
-        display.warp_device(pointer, screen, pointerX, pointerY);
+        pointer.warp(screen, pointerX, pointerY);
     },
 
     _onDragMotion: function(dragEvent) {